datatype t = A | A;
